From iterated revision to iterated contraction: Extending the Harper Identity
نویسندگان
چکیده
منابع مشابه
Extending the Harper Identity to Iterated Belief Change
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e., contraction receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief ...
متن کاملThe Irreducibility of Iterated to Single Revision
After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. ...
متن کاملIterated Belief Revision, Revised
A central aspect of commonsense reasoning is to sensibly revise one’s beliefs about the world in the presence of new information. The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intelligent agents adapt their beliefs incrementally to new information. These postulates alo...
متن کاملIterated Belief Contraction from First Principles
Importance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine iterated belief contraction in a principled way, starting with Qualified Insertion, a proposal by Hans Rott. We show that a judicious combination of ...
متن کاملIterated Revision in Default Logic
Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal with inconsistencies arising in the situation that an agent receives a sequence of information represented by default theories. To overcome the problem, revision operators for revising default theories have been investigated by many researchers. But none of them has discussed the postulates whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2019
ISSN: 0004-3702
DOI: 10.1016/j.artint.2019.103171